/*
  S.M.A.C.K - An operating system kernel
  Copyright (C) 2010,2011 Mattias Holm and Kristian Rietveld
  For licensing and a full list of authors of the kernel, see the files
  COPYING and AUTHORS.
*/

#ifndef KERNEL_BOOTPARAM_H
#define KERNEL_BOOTPARAM_H

void bootparam_init(void);

const char *bootparam_get_parameter(const char *key,
                                    int        *len);
const char *bootparam_get_value(const char *key,
                                int        *key_len,
                                const char *parameter,
                                int         param_len);

#endif /* ! BOOT_PARAM_H_ */
